Abstract algebraic logic - PDFSEARCH.IO - Document Search Engine

Abstract algebraic logic
Results: 173

#	Item
61	The Millennium Edition Stanley Burris H. P. Sankappanavar A Course in Add to Reading List Source URL: cdn.preterhuman.net Language: English - Date: 2012-10-01 14:51:33 Algebraic logic Algebraic structures Universal algebra Boolean algebra Variety Subdirectly irreducible algebra Representation theory Model theory Stone duality Abstract algebra Mathematics Algebra
62	Chapter 1 Our Adversary: The Circuit Boolean (or switching) functions map each sequence of bits to a single bit 0 or 1. Bit 0 is usually interpreted as “false”, and bit 1 as “true”. The simplest of such Add to Reading List Source URL: www.thi.informatik.uni-frankfurt.de Language: English - Date: 2012-03-10 09:14:00 Boolean algebra Algebraic logic Boolean function Parity function FO Disjunctive normal form Canonical form Circuit complexity Monotonic function Mathematics Mathematical logic Abstract algebra
63	LNCSThe Ackermann Award 2006 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:22 Modal logic Philosophical logic Non-classical logic Hybrid logic Algebraic semantics F-coalgebra Abstract model theory Model theory Game semantics Logic Mathematics Mathematical logic
64	BOOLEAN METHODS IN THE THEORY OF VECTOR LATTICES A. G. KUSRAEV AND S. S. KUTATELADZE Abstract. This is an overview of the recent results of interaction of Boolean valued analysis and vector lattice theory. Add to Reading List Source URL: www.math.nsc.ru Language: English - Date: 2015-01-30 06:09:18 Model theory Forcing Boolean algebra Algebraic structures Algebraic logic Boolean-valued model Symbol Interpretation First-order logic Mathematical logic Mathematics Logic
65	PROCEEDINGS Positivity IV - Theory and Applications Dresden (Germany), [removed]Boolean Valued Analysis and Positivity A. G. Kusraev and S. S. Kutateladze (Russia) Abstract. This is an overview of the recent results Add to Reading List Source URL: www.math.nsc.ru Language: English - Date: 2015-01-30 06:07:35 Forcing Boolean algebra Algebraic structures Boolean-valued model Model theory Function Symbol Functor Universal property Mathematics Mathematical logic Mathematical analysis
66	INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY[removed]), #A54 HEREDITARY TILING SETS OF THE INTEGERS S. Eigen Department of Mathematics, Northeastern University, Boston MA, 02115 Add to Reading List Source URL: www.emis.de Language: English - Date: 2008-12-03 12:33:02 Algebraic number theory Combinatorics Integer sequences Elementary number theory Integer Combinatory logic Ring Factorial Binomial coefficient Mathematics Abstract algebra Ring theory
67	Complete Monitors for Behavioral Contracts⋆ Christos Dimoulas, Sam Tobin-Hochstadt, and Matthias Felleisen Northeastern University, Boston, Massachusetts, USA {chrdimo,samth,matthias}@ccs.neu.edu Abstract. A behaviora Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Mathematics Logic in computer science Differential geometry Programming language semantics Algebraic geometry Field theory Valuation
68	Logic and Lattices for Distributed Programming Neil Conway William Marczak Peter Alvaro Joseph M. Hellerstein Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2012-06-22 16:27:05 Lattice theory Algebra Order theory Lattice Semilattice Class Boolean algebra Monotonic function Complete Heyting algebra Abstract algebra Mathematics Algebraic structures
69	UNIVERSAL ALGEBRA Jaroslav Jeˇzek First edition, April 2008 Contents Add to Reading List Source URL: www.karlin.mff.cuni.cz Language: English - Date: 2011-06-16 11:15:48 Algebraic structures Lattice theory Boolean algebra Predicate logic Abstract algebra Universal algebra Distributive lattice Model theory Representation theory Mathematics Mathematical logic Logic
70	Citations for the Test-of-Time Award from 1994 Awards Committee: Tierry Coquand Dexter Kozen (chair) Leonid Libkin Frank Pfenning Add to Reading List Source URL: lics.rwth-aachen.de Language: English - Date: 2014-07-13 10:46:56 Theoretical computer science Category theory Homotopy type theory Type theory Algebraic structures Groupoid IEEE Symposium on Logic in Computer Science Logic programming Frank Pfenning Homotopy theory Mathematics Abstract algebra

UPDATE